1. <A> Computational Logic
پدیدآورنده : \ Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving.
رده :
E-Book
,
2. A computational logic
پدیدآورنده : Boyer, Robert S., Robert S. Boyer and J Strother Moore
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
3. A computational logic
پدیدآورنده : / Robert S. Boyer and J. Strother Moore
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
4. A computational logic
پدیدآورنده : Boyer, Robert S.
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
5. A computational logic handbook
پدیدآورنده : BOYER,ROBERT S
کتابخانه: (طهران)
موضوع : AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
6. Automated reasoning : essays in honor of Woody Bledsoe
پدیدآورنده : edited by Robert S. Boyer
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,، Artificial intelligence
رده :
QA
76
.
9
.
A96
A92
1991
7. July 2, 2011. Proceedings-Pattern Recognition: Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29
پدیدآورنده : / Youssef Brants, Edwin Robert Hancock (eds.)-Ochoa, Cherif Ben-s Ariel CarrascoهTrinidad, Jes-nezک Francisco MartفKim L. Boyer, Dijia Wu (auth.), Jos
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
